12

An Efficient Unification Algorithm

Year:
1982
Language:
english
File:
PDF, 1.20 MB
english, 1982
14

Structuring logic programs: a modal approach

Year:
1994
Language:
english
File:
PDF, 2.91 MB
english, 1994
15

On the complexity of admissible search algorithms

Year:
1977
Language:
english
File:
PDF, 788 KB
english, 1977
16

Optimizing decision trees through heuristically guided search

Year:
1978
Language:
english
File:
PDF, 1.15 MB
english, 1978
21

Dynamic Programming as Graph Searching: An Algebraic Approach

Year:
1981
Language:
english
File:
PDF, 816 KB
english, 1981
24

Edge detection using heuristic search methods

Year:
1972
Language:
english
File:
PDF, 762 KB
english, 1972
26

On cumulative default logics

Year:
1994
Language:
english
File:
PDF, 941 KB
english, 1994
40

GSK-3β: A key regulator of breast cancer drug resistance

Year:
2014
Language:
english
File:
PDF, 476 KB
english, 2014
47

Extending Horn clause logic with implication goals

Year:
1992
Language:
english
File:
PDF, 2.13 MB
english, 1992